0
EUR
00,00*
Cart EUR 00,00 *
    Advanced search
    Create your personal account

    Software Verification – all Bücher

    Searching for "Software Verification" (Books) hits 12 articles.

    View:

    Guide to Software Verification with Frama-C

    Frama-C is a popular open-source toolset for analysis and verification of C programs, largely used for teaching, experimental research, and industrial applications. With the growing complexity and ubiquit…

    deliverable within 2-3 weeks
    Buch
    Current price: EUR 53.32

    Caroline Dominik
    Embedding Sequential Circuits for their Polynomial Formal Verification

    BestMasters

    As digital circuits are at the core of most of our everyday technologies, society heavily relies on their precise and predictable behavior. However, this demand for correctness often clashes with the spee…

    lieferbar ab 26.1.2026.
    Buch
    Current price: EUR 93.08

    Runtime Verification

    .- Algorithmic Fairness: A Runtime Perspective. .- DSLs for Runtime Verification: A Tutorial. .- Execution and monitoring of HOA automata with HOAX. .- Formal Verification of Neural Certificates Done Dyna…

    deliverable within 2-3 weeks
    Buch
    Current price: EUR 72.27

    Automated Technology for Verification and Analysis

    This book constitutes the refereed proceedings of the 23rd International Symposium on Automated Technology for Verification and Analysis, ATVA 2025, held in Bengaluru, India, from October 27--31, 2025.The…

    deliverable within 2-3 weeks
    Buch
    Current price: EUR 89.80

    Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

    This book constitutes the proceedings of the 6th International Conference, RSSRail 2025, in Pisa, Italy, during November 2025.The 12 full papers, 5 short papers, 3 short papers from invited speakers and 4…

    deliverable within 2-3 weeks
    Buch
    Current price: EUR 63.51

    Verified Software. Theories, Tools and Experiments

    This book constitutes the refereed proceedings of the 16th International Conference on Verified Software, VSTTE 2024, held in Prague, Czech Republic, during October 14--15, 2024.The 6 full papers, as well…

    deliverable within 2-3 weeks
    Buch
    Current price: EUR 54.75

    Theoretical Aspects of Software Engineering

    .- Program Verification..- Safeguarding Neural Network-Controlled Systems via Formal Methods: From Safety-by-Design to Runtime Assurance (Invited Talk) ..- Testing-Based Formal Verification with Program S…

    deliverable within 2-3 weeks
    Buch
    Current price: EUR 72.27

    Tools and Algorithms for the Construction and Analysis of Systems

    The open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2025, whic…

    deliverable within 2-3 weeks
    Buch
    Current price: EUR 43.80

    Tools and Algorithms for the Construction and Analysis of Systems

    The open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2025, whic…

    deliverable within 2-3 weeks
    Buch
    Current price: EUR 43.80

    Tools and Algorithms for the Construction and Analysis of Systems

    The open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2025, whic…

    deliverable within 2-3 weeks
    Buch
    Current price: EUR 43.80

    Software Engineering and Formal Methods

    This volume constitutes the proceedings of 23rd International Conference on Software Engineering and Formal Methods, SEFM 2025, held in Toledo, Spain, on November 10--14, 2025.The 13 full papers and 2 sho…

    deliverable within 2-3 weeks
    Buch
    Current price: EUR 81.04

    Thom Frühwirth
    Principles of Rule-Based Programming

    The book provides a unified overview of concepts and features of a comprehensive variety of rule-based programming languages. They have applications in diverse areas such as workflow systems, the Semantic…

    deliverable within 2-3 weeks
    Buch
    Current price: EUR 36.00
    Information on availability or release dates for items is based on information that we receive from our suppliers. These dates are not guaranteed and are subject to change at any time.